Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws
نویسندگان
چکیده
منابع مشابه
Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws
Fred Freitas Zacharias Candeias Jr. Heiner Stuckenschmidt Towards Checking Laws’ Consistency through Ontology Design: The Case of Brazilian Vehicles’ Laws Journal of Theoretical and Applied Electronic Commerce Research ISSN 0718–1876 Electronic Version VOL 6 / ISSUE 1 / APRIL 2011 / 112-126 © 2011 Universidad de Talca Chile This paper is available online at www.jtaer.com DOI: 10.4067/S0718-1876...
متن کاملOntology for Nigerian Case Laws
The Nigerian judicial process is unacceptably slow and expensive. We established that efforts so far taken to expedite the judicial process which include front loading processes and opening up of more courts are more tactical than strategic. Information and Communication Technology (ICT) has the strategic capability to expedite the judicial process when properly introduced and effectively manag...
متن کاملAlgebraic Laws for Weak Consistency
Modern distributed systems often rely on so called weakly consistent databases, which achieve scalability by weakening consistency guarantees of distributed transaction processing. The semantics of such databases have been formalised in two different styles, one based on abstract executions and the other based on dependency graphs. The choice between these styles has been made according to inte...
متن کاملGuidance Laws for Autonomous Underwater Vehicles
About 70% of the surface of the Earth is covered by oceans, and the ocean space represents a vast chamber of natural resources. In order to explore and utilize these resources, humankind depends on developing and employing underwater vehicles, not least unmanned underwater vehicles (UUVs). Today, UUVs encompass remotely operated vehicles (ROVs) and autonomous underwater vehicles (AUVs). The fir...
متن کاملTowards Structural Consistency Checking in Adaptive Case Management
This paper proposes structural consistency checking for Adaptive Case Management (ACM). Structures such as a hierarchical organization of business goals and dependencies among tasks are either created at design time or evolve over time while working on cases. In this paper, we identify structures specific to current ACM systems (as opposed to other BPM systems), discuss which inconsistencies ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of theoretical and applied electronic commerce research
سال: 2011
ISSN: 0718-1876
DOI: 10.4067/s0718-18762011000100008